Sjouke Mauw: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Input online review data and related bias in recommender systems

Selwyn Piramuthu, Gaurav Kapoor, Wei Zhou, Sjouke Mauw

Journal:

Decision Support Systems

Year:

2012

Language:

english

File:

PDF, 296 KB

english, 2012

2

[Lecture Notes in Computer Science] Security and Trust Management Volume 8743 || BlueWallet: The Secure Bitcoin Wallet

Mauw, Sjouke, Jensen, Christian Damsgaard

Year:

2014

Language:

english

File:

PDF, 371 KB

english, 2014

3

[IEEE 2009 22nd IEEE Computer Security Foundations Symposium (CSF) - Port Jefferson, NY, USA (2009.07.8-2009.07.10)] 2009 22nd IEEE Computer Security Foundations Symposium - Minimal Message Complexity of Asynchronous Multi-party Contract Signing

Mauw, Sjouke, Radomirovic, Sasa, Dashti, Mohammad Torabi

Year:

2009

Language:

english

File:

PDF, 361 KB

english, 2009

4

[Information Security and Cryptography] Operational Semantics and Verification of Security Protocols ||

Cremers, Cas, Mauw, Sjouke

Year:

2012

Language:

english

File:

PDF, 3.46 MB

english, 2012

5

A formal framework for quantifying voter-controlled privacy

Hugo Jonker, Sjouke Mauw, Jun Pang

Journal:

Journal of Algorithms

Year:

2009

Language:

english

File:

PDF, 275 KB

english, 2009

6

Preface

Fabio Massacci, Frank Piessens, Sjouke Mauw

Journal:

Science of Computer Programming

Year:

2008

Language:

english

File:

PDF, 142 KB

english, 2008

7

Impossible futures and determinism

Marc Voorhoeve, Sjouke Mauw

Journal:

Information Processing Letters

Year:

2001

Language:

english

File:

PDF, 134 KB

english, 2001

8

An algorithm for the asynchronousWrite-Allproblem based on process collision

Jan Friso Groote, Wim H. Hesselink, Sjouke Mauw, Rogier Vermeulen

Journal:

Distributed Computing

Year:

2001

Language:

english

File:

PDF, 129 KB

english, 2001

9

Design and analysis of dynamic leader election protocols in broadcast networks

Jacob Brunekreef, Joost-Pieter Katoen, Ron Koymans, Sjouke Mauw

Journal:

Distributed Computing

Year:

1996

Language:

english

File:

PDF, 2.69 MB

english, 1996

10

Preface

Sjouke Mauw, Valérie Issarny, Cas Cremers

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 68 KB

english, 2006

11

Analysing the BKE-security Protocol with μCRL

Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 512 KB

english, 2005

12

Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks

Pieter Ceelen, Sjouke Mauw, Saša Radomirović

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 270 KB

english, 2008

13

Game-based verification of contract signing protocols with minimal messages

Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw

Journal:

Innovations in Systems and Software Engineering

Year:

2012

Language:

english

File:

PDF, 894 KB

english, 2012

14

A framework for compositional verification of security protocols

Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig F. Mjølsnes, Saša Radomirović

Journal:

Information and Computation

Year:

2008

Language:

english

File:

PDF, 959 KB

english, 2008

15

Introduction by the guest editor

Journal:

Computer Languages

Year:

2001

Language:

english

File:

PDF, 31 KB

english, 2001

16

[IEEE 2009 International Conference on Availability, Reliability and Security - Fukuoka, Japan (2009.03.16-2009.03.19)] 2009 International Conference on Availability, Reliability and Security - Measuring Voter-Controlled Privacy

Jonker, Hugo, Mauw, Sjouke, Pang, Jun

Year:

2009

Language:

english

File:

PDF, 333 KB

english, 2009

17

[Lecture Notes in Computer Science] Public Key Infrastructure Volume 5057 || Fast Point Decompression for Standard Elliptic Curves

Mjølsnes, Stig F., Mauw, Sjouke, Katsikas, Sokratis K.

Year:

2008

Language:

english

File:

PDF, 305 KB

english, 2008

18

[Lecture Notes in Computer Science] Public Key Infrastructure Volume 5057 || An Open Mobile Identity Tool: An Architecture for Mobile Identity Management

Mjølsnes, Stig F., Mauw, Sjouke, Katsikas, Sokratis K.

Year:

2008

Language:

english

File:

PDF, 430 KB

english, 2008

19

Privacy and verifiability in voting systems: Methods, developments and trends

Jonker, Hugo, Mauw, Sjouke, Pang, Jun

Journal:

Computer Science Review

Year:

2013

Language:

english

File:

PDF, 1.47 MB

english, 2013

20

[Lecture Notes in Computer Science] Public Key Infrastructure Volume 5057 || A Privacy-Preserving eHealth Protocol Compliant with the Belgian Healthcare System

Mjølsnes, Stig F., Mauw, Sjouke, Katsikas, Sokratis K.

Year:

2008

Language:

english

File:

PDF, 423 KB

english, 2008

21

[Lecture Notes in Computer Science] Security and Trust Management Volume 8743 ||

Mauw, Sjouke, Jensen, Christian Damsgaard

Year:

2014

Language:

english

File:

PDF, 3.53 MB

english, 2014

22

[Lecture Notes in Computer Science] CONCUR’99 Concurrency Theory Volume 1664 || Testing Concurrent Systems: A Formal Approach

Baeten, Jos C. M., Mauw, Sjouke

Year:

1999

Language:

english

File:

PDF, 219 KB

english, 1999

23

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Message from ESSS 2013 Workshop Co-chairs

Pang, Jun, Liu, Yang, Mauw, Sjouke

Year:

2013

Language:

english

File:

PDF, 89 KB

english, 2013

24

[IEEE 2013 IEEE 26th Computer Security Foundations Symposium (CSF) - New Orleans, LA, USA (2013.06.26-2013.06.28)] 2013 IEEE 26th Computer Security Foundations Symposium - A Trust Framework for Evaluating GNSS Signal Integrity

Chen, Xihui, Lenzini, Gabriele, Martins, Miguel, Mauw, Sjouke, Pang, Jun

Year:

2013

Language:

english

File:

PDF, 724 KB

english, 2013

25

[IEEE 2008 5th IEEE Consumer Communications and Networking Conference - Las Vegas, Nevada, USA (2008.01.10-2008.01.12)] 2008 5th IEEE Consumer Communications and Networking Conference - Rights Management for Role-Based Access Control

Bouwman, Bart, Mauw, Sjouke, Petkovic, Milan

Year:

2008

Language:

english

File:

PDF, 267 KB

english, 2008

26

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - Comparative Analysis of Clustering Protocols with Probabilistic Model Checking

Li, Qian, Schaffer, Peter, Pang, Jun, Mauw, Sjouke

Year:

2012

Language:

english

File:

PDF, 256 KB

english, 2012

27

[IEEE 2012 6th ESA Workshop on Satellite Navigation Technologies (Navitec 2012) & European Workshop on GNSS Signals and Signal Processing - Noordwijk, Netherlands (2012.12.5-2012.12.7)] 2012 6th ESA Workshop on Satellite Navigation Technologies (Navitec 2012) & European Workshop on GNSS Signals and Signal Processing - Implementation and validation of a Localisation Assurance service provider

Chen, Xihui, Harpes, Carlo, Lenzini, Gabriele, Martins, Miguel, Mauw, Sjouke, Pang, Jun

Year:

2012

Language:

english

File:

PDF, 1.04 MB

english, 2012

28

[Lecture Notes in Computer Science] Public Key Infrastructure Volume 5057 || Current Status of Japanese Government PKI Systems

Mjølsnes, Stig F., Mauw, Sjouke, Katsikas, Sokratis K.

Year:

2008

Language:

english

File:

PDF, 581 KB

english, 2008

29

[Lecture Notes in Computer Science] CONCUR’99 Concurrency Theory Volume 1664 || Approximative Symbolic Model Checking of Continuous-Time Markov Chains

Baeten, Jos C. M., Mauw, Sjouke

Year:

1999

Language:

english

File:

PDF, 264 KB

english, 1999

30

[Lecture Notes in Computer Science] CONCUR’99 Concurrency Theory Volume 1664 || Model Checking of Message Sequence Charts

Baeten, Jos C. M., Mauw, Sjouke

Year:

1999

Language:

english

File:

PDF, 192 KB

english, 1999

31

[Lecture Notes in Computer Science] Security and Trust Management Volume 8743 || Evaluation of Key Management Schemes in Wireless Sensor Networks

Mauw, Sjouke, Jensen, Christian Damsgaard

Year:

2014

Language:

english

File:

PDF, 128 KB

english, 2014

32

Security analysis of socio-technical physical systems

Lenzini, Gabriele, Mauw, Sjouke, Ouchani, Samir

Journal:

Computers & Electrical Engineering

Year:

2015

Language:

english

File:

PDF, 2.61 MB

english, 2015

33

Comparing distance bounding protocols: A critical mission supported by decision theory

Avoine, Gildas, Mauw, Sjouke, Trujillo-Rasua, Rolando

Journal:

Computer Communications

Year:

2015

Language:

english

File:

PDF, 851 KB

english, 2015

34

[ACM Press the 2013 ACM SIGSAC conference - Berlin, Germany (2013.11.04-2013.11.08)] Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 - DEMO: Demonstrating a trust framework for evaluating GNSS signal integrity

Chen, Xihui, Harpes, Carlo, Lenzini, Gabriele, Martins, Miguel, Mauw, Sjouke, Pang, Jun

Year:

2013

Language:

english

File:

PDF, 405 KB

english, 2013

35

[Lecture Notes in Computer Science] Graphical Models for Security Volume 9390 ||

Mauw, Sjouke, Kordy, Barbara, Jajodia, Sushil

Year:

2016

Language:

english

File:

PDF, 5.62 MB

english, 2016

36

[Lecture Notes in Computer Science] Graphical Models for Security Volume 9390 || ATSyRa: An Integrated Environment for Synthesizing Attack Trees

Mauw, Sjouke, Kordy, Barbara, Jajodia, Sushil

Year:

2016

Language:

english

File:

PDF, 1.44 MB

english, 2016

37

[IEEE 2016 IEEE European Symposium on Security and Privacy (EuroS&P) - Saarbrucken, Germany (2016.3.21-2016.3.24)] 2016 IEEE European Symposium on Security and Privacy (EuroS&P) - A Class of Precomputation-Based Distance-Bounding Protocols

Mauw, Sjouke, Toro-Pozo, Jorge, Trujillo-Rasua, Rolando

Year:

2016

Language:

english

File:

PDF, 327 KB

english, 2016

38

[IFIP Advances in Information and Communication Technology] Trust Management X Volume 473 ||

Habib, Sheikh Mahbub, Vassileva, Julita, Mauw, Sjouke, Mühlhäuser, Max

Year:

2016

Language:

english

File:

PDF, 11.63 MB

english, 2016

39

[IFIP Advances in Information and Communication Technology] Trust Management X Volume 473 || I Don’t Trust ICT: Research Challenges in Cyber Security

Habib, Sheikh Mahbub, Vassileva, Julita, Mauw, Sjouke, Mühlhäuser, Max

Year:

2016

Language:

english

File:

PDF, 1.39 MB

english, 2016

40

[IFIP Advances in Information and Communication Technology] Trust Management X Volume 473 || The Wisdom of Being Wise: A Brief Introduction to Computational Wisdom

Habib, Sheikh Mahbub, Vassileva, Julita, Mauw, Sjouke, Mühlhäuser, Max

Year:

2016

Language:

english

File:

PDF, 141 KB

english, 2016

41

[IFIP Advances in Information and Communication Technology] Trust Management X Volume 473 || Transparency, Privacy and Trust – Technology for Tracking and Controlling My Data Disclosures: Does This Work?

Habib, Sheikh Mahbub, Vassileva, Julita, Mauw, Sjouke, Mühlhäuser, Max

Year:

2016

Language:

english

File:

PDF, 857 KB

english, 2016

42

[IFIP Advances in Information and Communication Technology] Trust Management X Volume 473 || A Calculus for Distrust and Mistrust

Habib, Sheikh Mahbub, Vassileva, Julita, Mauw, Sjouke, Mühlhäuser, Max

Year:

2016

Language:

english

File:

PDF, 328 KB

english, 2016

43

[IFIP Advances in Information and Communication Technology] Trust Management X Volume 473 || Trust It or Not? An Empirical Study of Rating Mechanism and Its Impact on Smartphone Malware Propagation

Habib, Sheikh Mahbub, Vassileva, Julita, Mauw, Sjouke, Mühlhäuser, Max

Year:

2016

Language:

english

File:

PDF, 793 KB

english, 2016

44

Semantics for Specialising Attack Trees based on Linear Logic

Horne, Ross, Mauw, Sjouke, Tiu, Alwen, Aman, Bogdan, Kleijn, Jetty, Koutny, Maciej, Lucanu, Dorel

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 702 KB

english, 2017

45

[Lecture Notes in Computer Science] Graphical Models for Security Volume 10744 ||

Liu, Peng, Mauw, Sjouke, Stolen, Ketil

Year:

2018

Language:

english

File:

PDF, 10.55 MB

english, 2018

46

[Lecture Notes in Computer Science] Graphical Models for Security Volume 10744 || Probabilistic Modeling of Insider Threat Detection Systems

Liu, Peng, Mauw, Sjouke, Stolen, Ketil

Year:

2018

Language:

english

File:

PDF, 1.01 MB

english, 2018

47

[IEEE 2018 IEEE Symposium on Security and Privacy (SP) - San Francisco, CA, USA (2018.5.20-2018.5.24)] 2018 IEEE Symposium on Security and Privacy (SP) - Distance-Bounding Protocols: Verification Without Time and Location

Mauw, Sjouke, Smith, Zach, Toro-Pozo, Jorge, Trujillo-Rasua, Rolando

Year:

2018

Language:

english

File:

PDF, 318 KB

english, 2018

48

A trust-augmented voting scheme for collaborative privacy management

Sun, Yanjie, Zhang, Chenyi, Pang, Jun, Alcalde, Baptiste, Mauw, Sjouke, Barthe, Gilles, Cuellar, Jorge, Lopez, Javier, Pretschner, Alexander

Journal:

Journal of Computer Security

Year:

2012

Language:

english

File:

PDF, 244 KB

english, 2012

49

Robust active attacks on social graphs

Mauw, Sjouke, Ramírez-Cruz, Yunior, Trujillo-Rasua, Rolando

Journal:

Data Mining and Knowledge Discovery

Year:

2019

Language:

english

File:

PDF, 860 KB

english, 2019

50

Conditional adjacency anonymity in social graphs under active attacks

Mauw, Sjouke, Ramírez-Cruz, Yunior, Trujillo-Rasua, Rolando

Journal:

Knowledge and Information Systems

Year:

2018

File:

PDF, 1.04 MB

2018